Precise reasoning with structured time, structured heaps, and collective operations
نویسندگان
چکیده
منابع مشابه
CoBoxes: Unifying Active Objects and Structured Heaps
Concurrent programming in object-oriented languages is a notoriously difficult task. We propose coboxes – a novel language concept which combines and generalizes active objects and techniques for heap structuring. CoBoxes realize a data-centric approach that guarantees mutual-exclusion for groups of objects. This is important for more complex data structures with invariants ranging over several...
متن کاملFrom Structured Heaps to Encapsulated Runtime Components
In OO-modeling and programming, state is structured into a set of objects. Objects can reference each other forming a graph with objects as nodes and references as edges. During the execution of object systems, the graph structure changes when objects are created or references are stored. As objects can access other objects only by following references, means to control the graph structure are ...
متن کاملDefeasible Reasoning with Structured Information
There is a wide variety of approaches to formalising non-monotonic reasoning, and even though some relationships between formalisms have been established, there is a lack of appropriate general frameworks to support such analyses. There have been some successes such as using general properties of the consequence relation as a frame-but these only provide relatively high level views on the forma...
متن کاملStructured Objects: Modeling and Reasoning
One distinctive characteristic of object oriented data models over traditional database systems is that they provide more expressive power in schema de nition Nevertheless the de ning power of object oriented models is still somewhat limited mainly because it is commonly accepted that part of the semantics of the application can be represented within methods The research work reported in this p...
متن کاملReasoning with inconsistency in structured text
Reasoning with inconsistency involves some compromise on classical logic. There is a range of proposals for logics (called paraconsistent logics) for reasoning with inconsistency each with pros and cons. Selecting an appropriate paraconsistent logic for an application depends on the requirements of the application. Here we review paraconsistent logics for the potentially signiicant application ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2019
ISSN: 2475-1421
DOI: 10.1145/3360583